Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (2) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Chebanyuk O$<.>) | |||
|
Загальна кількість знайдених документів : 3 Представлено документи з 1 до 3 |
|||
| 1. | 
Chebanyuk O. V. Designing of ontology for the application domain "Data transition processes in networks" [Електронний ресурс] / O. V. Chebanyuk // Інженерія програмного забезпечення. - 2013. - № 3-4. - С. 25-33. - Режим доступу: http://nbuv.gov.ua/UJRN/Ipz_2013_3-4_6 | ||
| 2. | 
Chebanyuk O. V. Formal foundations for software model to model transformation operation [Електронний ресурс] / O. V. Chebanyuk // Проблеми програмування. - 2018. - № 2-3. - С. 124-131. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_2-3_16 Операції перетворення моделей програмного забезпечення є центральними операціями у модельно-орієнтованих підходах розробки програмного забезпечення. Для представлення моделей програмного забезпечення використовуються графічні нотації мов моделювання, наприклад UML. Якість одержаної моделі програмного забезпечення після трансформації визначає ефективність операцій подальшої її обробки. Це визначає актуальність завдання розробки нових формальних підходів для трансформації моделей програмного забезпечення. Такі підходи забезпечують підгрунтя для гнучкої адаптації технік і підходів трансформації з урахуванням особливостей процесів життєвого циклу програмної розробки програмного забезпечення. Сформульовано вимоги до аналітичних інструментів і правил трансформації, які застосовуються для розробки підходів трансформації моделей. Наведено обгрунтування вибору аналітичних інструментів, що відповідають цим вимогам. Наведено підхід проведення операції трансформації моделі в модель, який базується на графовому перетворенні. Операції трансформації розглядаються на мета рівні та на рівні детального опису моделей. Вихідною інформацією для трансформації слугує множина підграфів. Правила трансформації задаються за допомогою логік першого і другого порядку. На рівні преставлення елементів моделей програмного забезпечення для задання правил трансформації використовується логіка першого порядку, на рівні опису типів елементів використовується логіка другого порядку. Представлений підхід є розширюваним та може використовуватися під час модифікації існуючих середовищ перетворення моделей. Наприклад у MEDINI QVT відсутня можливість сформувати правила трансформації моделей, що включають елементи, які не зв'язані безпосередньо на UML діаграмі. | ||
| 3. |
Chebanyuk O. V. Domain engineering approach of software requirements analysis [Електронний ресурс] / O. V. Chebanyuk, O. V. Palahin, K. K. Markov // Проблеми програмування. - 2020. - № 2-3. - С. 164-172. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2020_2-3_18 Аналіз вимог є важливим процесом життєвого циклу розробки програмного забезпечення. У гнучких методологіях розробки програмного забезпечення моделі вимог є такими артефактами розробки програмного забезпечення, що містять вихідну інформацію для здійснення подальших завдань розробки. Удосконалення методик аналізу вимог дозволяє уникнути ситуації, коли помилки артефактів, що проектуються при аналізі вимог, переносяться на інші артефакти розробки програмного забезпечення. Доменна інженерія забезпечує фундаментальні основи для впровадження "шаблонно-орієнтованих" методик проектування артефактів розробки програмного забезпечення. Повторне використання доменних моделей та знань дозволяє доповнити інформацію про структуру моделі, що має більш детальну нотацію після виконання вертикальної трансформації "з моделі у модель", уточнити спроектований артефакт розробки програмного забезпечення, організувати систематичне повторне використання програмних модулів та виконати багато інших завдань. Представлено методику аналізу вимог до програмного забезпечення, що базується на трансформації діаграм прецедентів у діаграми комунікацій з їх подальшим уточненням за допомогою інформації, що міститься у доменних моделях. Перевагою представленої методики по зрівнянню з існуючими є те, що для трансформації використовуються всі складові вихідної моделі з метою перенести її семантику на результуючу модель. Після трансформації виконується уточнення діаграм комунікацій із використанням накопичених знань про домен. Вихідною інформацією для трансформації моделей програмного забезпечення їх аналітичне представлення у графовій формі. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |